<?php
function foo() { echo "OK"; }
